Formal Analysis of RFID Authentication Protocol for Security System

Recently, Radio frequency identification (RFID) has been an important and ubiquitous infrastructure technology for smart work system. As RFID tags are affixed to all items, they may be used to support various useful services. Security mechanisms for RFID systems, such as authentication and encryption, are therefore of utmost importance. However, there are many risks involved, for example user privacy violations and service interference. Therefore, security service is required to block these risk elements, and user authentication is an essential component for secure RFID system such as smart work system. In this paper, an authentication protocol for secure communications is proposed for secure RFID network environments and also for verified safety using GNY logic. KeywordsRFID (Radio Frequency Identification); Formal Methods; Modal Logic; Security Protocol